退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:TRX:正式验证的解析器解释器
Adam Koprowski; Henri Binsztok;
机译:基于ENDF / B-VIII.0的TRX和BAPL基准的关键验证
机译:作为社会正义工作的语言翻译:正式和非正式医疗翻译的观点。
机译:正式和半正式验证在软件测试,高级综合和能源互联网中的应用
机译:网络物理系统中控制模块的正式验证
机译:处理器 - memorymodule的形式验证中的解释器组合问题
机译:验证支持设备和用于软件定义的网络环境中的网络服务链的正式验证的方法,以及具有验证支持设备的正式验证设备
机译:用于数据处理器中的形式化验证的方法包括:使用信号包络的一个限制执行验证算法,并使用验证算法限制状态空间搜索
机译:正式和非正式的组合电路验证
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。